Issue202.agda:8,31-36
Cannot instantiate the metavariable _1 to Set ℓ since universe
polymorphism is disabled
when checking that the expression Foo ℓ has type _1
